41. From a geometrical point of view
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Categories (Mathematics) ; History. ; Categories (Mathematics) ; Philosophy. ; Functor theory. ; Algebraic logic. ;
42. From mathematics to philosophy
پدیدآورنده: Wang, Hao
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Knowledge, Theory of,، Logic, Symbolic and mathematical,Philosophy ، Mathematics
رده :
BD
161
.
W27
1974b
43. From mathematics to philosophy
پدیدآورنده: Wang, Hao
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Knowledge, Theory of,، Logic, Symbolic and mathematical,، Mathematics-- Philosophy
رده :
BD
161
.
W27
1974b
44. From mathematics to philosophy
پدیدآورنده:
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Knowledge, Theory of,Logic, Symbolic and mathematical,Mathematics -- Philosophy
رده :
BD
161
.
W27
1974
45. From mathematics to philosophy
پدیدآورنده: / Hao Wang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Knowledge, Theory of,Logic, Symbolic and mathematica,Mathematics - Philosophy
رده :
510
.
1
Wa-F
46. From mathematics to philosophy
پدیدآورنده: Hao Wang
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Knowledge, Theory of,، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
BD
161
.
W26F7
47. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
.
G6
1996a
48. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده: Petr Hajek )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1L44
Vol
.
6
49. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده: Petr Hajek )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
G6
1996
50. Grundlagen der Mathematik
پدیدآورنده: Hilbert, David
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
H52
51. Handbook of Set Theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematics. ; Logic. ; Science ; Philosophy. ; Logic, Symbolic and mathematical. ; Mathematics. ; Mathematical Logic and Foundations. ; Logic. ; Philosophy of Science. ;
52. Inexhaustibility : a non-exhaustive treatment
پدیدآورنده: by Torkel Franzen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Incompleteness theorems,، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
QA
9
.
A1L44
Vol
.
16
53. Interpreting Godel : critical essays
پدیدآورنده: edited by Juliette Kennedy
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Godel, Kurt Friedrich, 6091-8791,، Mathematics -- Philosophy
رده :
QA
9
.
2
.
I586
54. Introduction to the foundations of mathematic
پدیدآورنده: / [by] Raymond L. Wilder
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Mathematics- Philosophy,Logic, Symbolic and mathematical
رده :
QA9
.
W58
1965
55. Introduction to the foundations of mathematics
پدیدآورنده : Wilder, Raymond Louis
موضوع : ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
56. Invariance and structural dependence
پدیدآورنده: Odelstad, Jan
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics - Philosophy
رده :
QA
9
.
O26
1992
57. Invariance and structural dependence
پدیدآورنده: Odelstad, Jan.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy
رده :
QA
9
.
O26
1992
58. La consistance des theories formelles et le fondement des mathematiques
پدیدآورنده: Par Maurice Meigne
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع: Mathematics-- Philosophy,Logic, Symbolic and mathematical
59. La crise de la raison et la logique;conferences faites a l'Universite de Liege dans le cadre des echanges culturels belgo-neerlandais au mois de mai 1956
پدیدآورنده: Par E. W. Beth
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع: Mathematics--Philosophy.,Logic, Symbolic and mathematical.
60. La crise de la raison et la logique; conferences, faites a l'Universite de Liege dans le cadre des echanges culturels belgoneerlandais au mois de Mai, 1956
پدیدآورنده:
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Mathematics -- Philosophy,Logic, Symbolic and mathematical
رده :
QA
9
.
B4
